| 1. | A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html 为了验证更多的性质,我们的公理集中加入了一些新的特性,如动态性,使我们可以推导协议的每个执行步所得到的知识还有秘密性,我们在公理中加入那些处理智能体间共享秘密的公理 |